Primitive recursive function - PDFSEARCH.IO - Document Search Engine

Primitive recursive function
Results: 110

#	Item
51	Primitively (Co)recursive Definitions for Isabelle/HOL Lorenz Panny, Jasmin Christian Blanchette, and Dmitriy Traytel Fakultät für Informatik, Technische Universität München, Germany Abstract. Isabelle/HOL has recent Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-03-23 10:07:51 Recursion Computability theory Data types Higher-order functions Theory of computation Fold Recursive data type Primitive recursive function Lambda calculus Software engineering Computing Computer programming
52	BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS ´ AND PAULO OLIVA ´ ESCARDO MARTIN Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-04-16 10:22:26 Primitive recursive function Mathematical logic Philosophy of mathematics Fourier analysis Jensen hierarchy Mathematics Computability theory Constructible universe
53	13th International Workshop on Termination (WSTJohannes Waldmann (Editor) WST 2013, August 29–31, 2013, Bertinoro, Italy Preface Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-27 10:27:44 Primitive recursive function Mathematics Computational complexity theory Valuation
54	J. Functional Programming 9 (4): 355–372, Julyc 1999 Cambridge University Press ! Printed in the United Kingdom Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-05-18 03:41:36 Recursion Higher-order functions Functions and mappings Theory of computation Computability theory Fold Map Primitive recursive function Append Computing Software engineering Computer programming
55	System T and the Product of Selection Functions Martín Escardó1 , Paulo Oliva2 , and Thomas Powell2 1 University of Birmingham Department of Computer Science Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-06-20 06:36:33 Proof theory Computability theory Functions and mappings Theory of computation Dialectica interpretation Function Primitive recursive function Peano axioms Well-founded relation Mathematics Mathematical logic Logic
56	Predicative Lexicographic Path Orders: Towards a Maximal Model for Primitive Recursive Functions∗ Naohi Eguchi Institute of Computer Science, University of Innsbruck, Austria Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:12 Mathematical logic Recursion Theory of computation Functions and mappings Programming idioms Primitive recursive function Well-founded relation ELEMENTARY Fold Computability theory Mathematics Theoretical computer science
57	A ‘theory’ mechanism for a proof-verifier based on first-order set theory ? Eugenio G. Omodeo1 and Jacob T. Schwartz2 1 2 Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 10:43:38 Functions and mappings Function Axiom schema of replacement First-order logic Equivalence relation Model theory Μ operator Primitive recursive function Mathematics Mathematical logic Logic
58	Infinite sets that satisfy the principle of omniscience in all varieties of constructive mathematics Mart´ın Escard´ o University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-10-10 03:10:32 Computability theory Function Primitive recursive function Principia Mathematica Knaster–Tarski theorem Mathematics Functions and mappings Mathematical logic
59	LFMTPNominal Reasoning Techniques in Coq (Extended Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Lambda calculus Theory of computation Computability theory Functions and mappings Logic in computer science Combinatory logic Function Primitive recursive function De Bruijn index Mathematics Theoretical computer science Mathematical logic
60	Theory of Real Computation according to EGC∗ Chee Yap Courant Institute of Mathematical Sciences Department of Computer Science New York University April 17, 2007 Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2007-04-17 11:20:36 Theoretical computer science Mathematical logic Computable function Symbol Function Model theory Recursively enumerable set Computability Primitive recursive function Computability theory Theory of computation Mathematics